Гаври́лов Михаил Александрович (1903-1979), учёный в области автоматизации, член-корреспондент АН СССР (1964). Основные труды по телемеханике, теории релейных устройств и конечных автоматов.
* * *
ГАВРИЛОВ Михаил Александрович - ГАВРИ́ЛОВ Михаил Александрович (11 (22) 1903, Москва - 1979), российский ученый, основоположник отечественной информатики, в частности технической кибернетики, теории автоматов и теории ЭВМ; член-корреспондент АН СССР (1964), председатель научного совета по технической кибернетике АН СССР (с 1965).
В 1925 окончил Московское высшее техническое училище (см. МОСКОВСКИЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ (МГТУ)), с 1937 работал в Институте автоматики и телемеханики (см. ПРОБЛЕМ УПРАВЛЕНИЯ ИНСТИТУТ (АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ) (ИАТ)). Гаврилов выдвинул идею того, что инженерные задачи проектирования устройств релейной автоматики можно решать формальными методами с использованием аппарата математической логики. Он разработал практические методы синтеза схем и устройств, использующих контакты, управляемые с помощью реле; развивал методы автоматического проектирования дискретных управляющих устройств.
Основные труды посвящены телемеханике (автор первого в СССР устройства телеуправления), теории релейных устройств и конечных автоматов (теория блочного синтеза, теория структурной надёжности, теория минимизации структур). В 1950 опубликовал труд «Теория релейно-контактных схем», ставший первой в мире книгой, посвященной логическим методам анализа и синтеза схем.